normal{-}ds\{i:l\}(${\it ds}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}all(Id; id{-}deq; ${\it ds}$; $x$,$A$.$A$)